Automatic generation of safe handlers for multi-task systems
نویسندگان
چکیده
منابع مشابه
Automatic generation of safe handlers for multi-task systems
We are interested in the programming of real-time embedded control systems, such as in robotic, automotive or avionic systems. They are designed with multiple tasks, each with multiple modes. It is complex to design task handlers that control the switching of activities in order to insure safety properties of the global system. We propose a model of tasks in terms of transition systems, designe...
متن کاملAutomatic Generation of a Multi Agent System for Crisis Management by a Model Driven Approach
Considering the increasing occurrences of unexpected events and the need for pre-crisis planning in order to reduce risks and losses, modeling instant response environments is needed more than ever. Modeling may lead to more careful planning for crisis-response operations, such as team formation, task assignment, and doing the task by teams. A common challenge in this way is that the model shou...
متن کاملAutomatic task graph generation techniques
We present a model of parallel computation, the parameterized task graph, which is a compact, problem size independent, representation of some frequently used directed acylic task graphs. Techniques automating the construction of such a representation, starting from an annotated sequential program are proposed. We show how to represent the computational load for each node and the communication ...
متن کاملMulti-modal Multi-task Learning for Automatic Dietary Assessment
We investigate the task of automatic dietary assessment: given meal images and descriptions uploaded by real users, our task is to automatically rate the meals and deliver advisory comments for improving users’ diets. To address this practical yet challenging problem, which is multi-modal and multi-task in nature, an end-to-end neural model is proposed. In particular, comprehensive meal represe...
متن کاملAutomatic generation of discrete handlers of real-time continuous control tasks
We present a novel technique for designing discrete, logical control loops, on top of continuous control tasks, ensuring logical safety properties of the tasks sequencings and mode changes. We define this new handler on top of the real-time executives built with the ORCCAD design environment for control systems, which is applied, e.g. to robotics and real-time networked control. It features str...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Embedded Computing
سال: 2009
ISSN: 1740-4460
DOI: 10.3233/jec-2009-0097